var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://www.cs.toronto.edu/~toryn/test/publications/list.bib\",\"jsonp\":\"1\",\"filter\":\"keywords:\\\\b(LTL|automata)\\\\b,keywords:\\\\bplanning\\\\b\",\"theme\":\"default\",\"urlLabel\":\"paper\",\"groupby\":\"\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Alberto\"],\"propositions\":[],\"lastnames\":[\"Camacho\"],\"suffixes\":[]},{\"firstnames\":[\"Jorge\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Baier\"],\"suffixes\":[]},{\"firstnames\":[\"Christian\",\"J.\"],\"propositions\":[],\"lastnames\":[\"Muise\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\",\"A.\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"title\":\"Finite LTL Synthesis as Planning\",\"booktitle\":\"Proceedings of the Twenty-Eight International Conference on Automated Planning and Scheduling (ICAPS)\",\"pages\":\"29-38\",\"year\":\"2018\",\"url_paper\":\"http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf\",\"keywords\":\"LTL, planning\",\"bibtex\":\"@inproceedings{cam-bai-mui-mci-icaps18,\\r\\n  author    = {Alberto Camacho and\\r\\n               Jorge A. Baier and\\r\\n               Christian J. Muise and\\r\\n               Sheila A. McIlraith},\\r\\n  title     = {Finite {LTL} Synthesis as Planning},\\r\\n  booktitle = {Proceedings of the Twenty-Eight International Conference on\\r\\nAutomated Planning and Scheduling ({ICAPS})},\\r\\n  pages     = {29-38},\\r\\n  year      = {2018},\\r\\n  url_paper =\\r\\n{http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf},\\r\\n  keywords  = {LTL, planning}\\r\\n}\\r\\n\\r\\n\",\"author_short\":[\"Camacho, A.\",\"Baier, J. A.\",\"Muise, C. J.\",\"McIlraith, S. A.\"],\"key\":\"cam-bai-mui-mci-icaps18\",\"id\":\"cam-bai-mui-mci-icaps18\",\"bibbaseid\":\"camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf\"},\"keyword\":[\"LTL\",\"planning\"],\"metadata\":{\"authorlinks\":{\"camacho, a\":\"http://www.albertocamacho.com/\",\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"muise, c\":\"https://www.haz.ca/academic-publications.html\"}},\"downloads\":29,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Alberto\"],\"propositions\":[],\"lastnames\":[\"Camacho\"],\"suffixes\":[]},{\"firstnames\":[\"Eleni\"],\"propositions\":[],\"lastnames\":[\"Triantafillou\"],\"suffixes\":[]},{\"firstnames\":[\"Christian\",\"J.\"],\"propositions\":[],\"lastnames\":[\"Muise\"],\"suffixes\":[]},{\"firstnames\":[\"Jorge\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Baier\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\",\"A.\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"title\":\"Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces\",\"booktitle\":\"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI)\",\"url_paper\":\"http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf\",\"keywords\":\"LTL, planning\",\"pages\":\"3716-3724\",\"year\":\"2017\",\"bibtex\":\"@inproceedings{cam-tri-mui-bai-mci-aaai17,\\r\\n  author    = {Alberto Camacho and\\r\\n               Eleni Triantafillou and\\r\\n               Christian J. Muise and\\r\\n               Jorge A. Baier and\\r\\n               Sheila A. McIlraith},\\r\\n  title     = {Non-Deterministic Planning with Temporally Extended Goals:\\r\\n{LTL} over Finite and Infinite Traces},\\r\\n  booktitle = {Proceedings of the Thirty-First AAAI Conference on\\r\\nArtificial Intelligence ({AAAI})},\\r\\n  url_paper =\\r\\n{http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf},\\r\\n  keywords  = {LTL, planning},\\r\\n  pages     = {3716-3724},\\r\\n  year      = {2017}\\r\\n}\\r\\n\\r\\n\",\"author_short\":[\"Camacho, A.\",\"Triantafillou, E.\",\"Muise, C. J.\",\"Baier, J. A.\",\"McIlraith, S. A.\"],\"key\":\"cam-tri-mui-bai-mci-aaai17\",\"id\":\"cam-tri-mui-bai-mci-aaai17\",\"bibbaseid\":\"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017\",\"role\":\"author\",\"urls\":{\" paper\":\"http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf\"},\"keyword\":[\"LTL\",\"planning\"],\"metadata\":{\"authorlinks\":{\"camacho, a\":\"http://www.albertocamacho.com/\",\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"muise, c\":\"https://www.haz.ca/academic-publications.html\"}},\"downloads\":31,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL (Amended Version)\",\"author\":[{\"firstnames\":[\"Alberto\"],\"propositions\":[],\"lastnames\":[\"Camacho\"],\"suffixes\":[]},{\"firstnames\":[\"Eleni\"],\"propositions\":[],\"lastnames\":[\"Triantafillou\"],\"suffixes\":[]},{\"firstnames\":[\"Christian\"],\"propositions\":[],\"lastnames\":[\"Muise\"],\"suffixes\":[]},{\"firstnames\":[\"Jorge\"],\"propositions\":[],\"lastnames\":[\"Baier\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\",\"A.\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"booktitle\":\"Workshop on knowledge-based techniques for problem solving and reasoning (KnowProS'16) at IJCAI\",\"year\":\"2016\",\"url\":\"https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf\",\"note\":\"A version of this paper also appeared in the Workshop on Heuristic Search and Domain Independent Planning (HSDIP'16) at ICAPS\",\"abstract\":\"Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of planning with temporally extended goals over both finite and infinite traces where actions can be non-deterministic, and where temporally extended goals are specified in linear temporal logic (LTL). Unlike existing LTL planners, we place no restrictionson our LTL formulae beyond those necessary to distinguish finite from infinite trace interpretations. We realize our planner by compiling temporally extended goals, represented in LTL, into Planning Domain Definition Language problem instances, and exploiting a state-of-the-art fully observable non-deterministic planner to compute solutions. The resulting planner is sound and complete. Our approach exploits the correspondence between LTL and automata. We propose several different compilations based on translations of LTL to (Buchi) alternating or non-deterministic finite state automata, and evaluate various properties of the competing approaches. We address a diverse spectrum of LTL planning problems that, to this point, had not been solvable using AI planning techniques. We do so while demonstrating competitive performance relative to the state of the art in LTL planning.\",\"keywords\":\"LTL, planning\",\"bibtex\":\"@inproceedings{cam-etal-ltl-knowpros16,\\r\\n  title = {Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite {LTL} (Amended Version)},\\r\\n  author = {Alberto Camacho and Eleni Triantafillou and Christian Muise and Jorge Baier and Sheila A. McIlraith},\\r\\n  booktitle = {Workshop on knowledge-based techniques for problem solving and reasoning (KnowProS'16) at IJCAI},\\r\\n  year = {2016},\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf},\\r\\n  note = {A version of this paper also appeared in the Workshop on Heuristic Search and Domain Independent Planning ({HSDIP}'16) at ICAPS},\\r\\nabstract={Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of planning with temporally extended goals over both finite and infinite traces where actions can be non-deterministic, and where temporally extended goals are specified in linear temporal logic (LTL). Unlike existing LTL planners, we place no restrictionson our LTL formulae beyond those necessary to distinguish finite from infinite trace interpretations. We realize our planner by compiling temporally extended goals, represented in LTL, into Planning Domain Definition Language problem instances, and exploiting a state-of-the-art fully observable non-deterministic planner to compute solutions. The resulting planner is sound and complete. Our approach exploits the correspondence between LTL and automata. We propose several different compilations based on translations of LTL to (Buchi) alternating or non-deterministic finite state automata, and evaluate various properties of the competing approaches. We address a diverse spectrum of LTL planning problems that, to this point, had not been solvable using AI planning techniques. We do so while demonstrating competitive performance relative to the state of the art in LTL planning.},\\r\\n  keywords = {LTL, planning}\\r\\n}\\r\\n\\r\\n\",\"author_short\":[\"Camacho, A.\",\"Triantafillou, E.\",\"Muise, C.\",\"Baier, J.\",\"McIlraith, S. A.\"],\"key\":\"cam-etal-ltl-knowpros16\",\"id\":\"cam-etal-ltl-knowpros16\",\"bibbaseid\":\"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf\"},\"keyword\":[\"LTL\",\"planning\"],\"metadata\":{\"authorlinks\":{\"camacho, a\":\"http://www.albertocamacho.com/\",\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"muise, c\":\"https://www.haz.ca/academic-publications.html\"}},\"downloads\":8,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"A Unifying Framework for Planning with LTL and Regular Expressions\",\"author\":[{\"firstnames\":[\"Eleni\"],\"propositions\":[],\"lastnames\":[\"Triantafillou\"],\"suffixes\":[]},{\"firstnames\":[\"Jorge\"],\"propositions\":[],\"lastnames\":[\"Baier\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"booktitle\":\"Proceedings of the Workshop on Model-Checking and Automated Planning (MOCHAP) at ICAPS\",\"pages\":\"23-31\",\"year\":\"2015\",\"url\":\"https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf\",\"keywords\":\"planning, LTL, LDL\",\"bibtex\":\"@inproceedings{tri-etal-mochap15,\\r\\n  title = {A Unifying Framework for Planning with LTL and Regular Expressions},\\r\\n  author = {Eleni Triantafillou and Jorge Baier and Sheila McIlraith},\\r\\n  booktitle = {Proceedings of the Workshop on Model-Checking and Automated Planning (MOCHAP) at ICAPS},\\r\\n  pages = {23-31},\\r\\n  year = {2015},\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf},\\r\\n  keywords = {planning, LTL, LDL}\\r\\n}\\r\\n\\r\\n\\r\\n\",\"author_short\":[\"Triantafillou, E.\",\"Baier, J.\",\"McIlraith, S.\"],\"key\":\"tri-etal-mochap15\",\"id\":\"tri-etal-mochap15\",\"bibbaseid\":\"triantafillou-baier-mcilraith-aunifyingframeworkforplanningwithltlandregularexpressions-2015\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf\"},\"keyword\":[\"planning\",\"LTL\",\"LDL\"],\"metadata\":{\"authorlinks\":{\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\"}},\"downloads\":3,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"volume\":\"175\",\"number\":\"7-8\",\"title\":\"Specifying and Computing Preferred Plans\",\"url\":\"https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf\",\"journal\":\"Artificial Intelligence\",\"keywords\":\"planning, LTL, preferences\",\"pages\":\"1308-1345\",\"author\":[{\"firstnames\":[\"Meghyn\"],\"propositions\":[],\"lastnames\":[\"Bienvenu\"],\"suffixes\":[]},{\"firstnames\":[\"Christian\"],\"propositions\":[],\"lastnames\":[\"Fritz\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\",\"A.\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"year\":\"2011\",\"bibtex\":\"@article{ bie-fri-mci-aij11,\\r\\n  volume = {175},\\r\\n  number = {7-8},\\r\\n  title = {Specifying and Computing Preferred Plans},\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf},\\r\\n  journal = {Artificial Intelligence},\\r\\n  keywords = {Planning with preferences},\\r\\n  pages = {1308-1345},\\r\\n  author = {Meghyn Bienvenu and Christian Fritz and Sheila A. McIlraith},\\r\\n  year = {2011},\\r\\n  keywords = {planning, LTL, preferences}\\r\\n}\\r\\n\\r\\n\",\"author_short\":[\"Bienvenu, M.\",\"Fritz, C.\",\"McIlraith, S. A.\"],\"key\":\"bie-fri-mci-aij11\",\"id\":\"bie-fri-mci-aij11\",\"bibbaseid\":\"bienvenu-fritz-mcilraith-specifyingandcomputingpreferredplans-2011\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf\"},\"keyword\":[\"planning\",\"LTL\",\"preferences\"],\"metadata\":{\"authorlinks\":{\"fritz, c\":\"https://www.cs.toronto.edu/~fritz/\",\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\"}},\"downloads\":8,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Jorge\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Baier\"],\"suffixes\":[]},{\"firstnames\":[\"Fahiem\"],\"propositions\":[],\"lastnames\":[\"Bacchus\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\",\"A.\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"url\":\"https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf\",\"journal\":\"Artificial Intelligence\",\"title\":\"A Heuristic Search Approach to Planning with Temporally Extended Preferences\",\"number\":\"5-6\",\"volume\":\"173\",\"year\":\"2009\",\"pages\":\"593-618\",\"keywords\":\"LTL, planning, preferences\",\"bibtex\":\"@article{ bai-bac-mci-aij09,\\r\\n  author = {Jorge A. Baier and Fahiem Bacchus and Sheila A. McIlraith},\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf},\\r\\n  journal = {Artificial Intelligence},\\r\\n  title = {A Heuristic Search Approach to Planning with Temporally Extended Preferences},\\r\\n  number = {5-6},\\r\\n  volume = {173},\\r\\n  year = {2009},\\r\\n  pages = {593-618},\\r\\n  keywords = {LTL, planning, preferences}\\r\\n}\\r\\n\\r\\n\",\"author_short\":[\"Baier, J. A.\",\"Bacchus, F.\",\"McIlraith, S. A.\"],\"key\":\"bai-bac-mci-aij09\",\"id\":\"bai-bac-mci-aij09\",\"bibbaseid\":\"baier-bacchus-mcilraith-aheuristicsearchapproachtoplanningwithtemporallyextendedpreferences-2009\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf\"},\"keyword\":[\"LTL\",\"planning\",\"preferences\"],\"metadata\":{\"authorlinks\":{\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"baier, j\":\"http://www.cs.toronto.edu/~bgmomb/research.html\",\"bacchus, f\":\"https://www.cs.toronto.edu/~fbacchus/research.shtml\"}},\"downloads\":24,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"url\":\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf\",\"author\":[{\"firstnames\":[\"Jorge\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Baier\"],\"suffixes\":[]},{\"firstnames\":[\"Christian\"],\"propositions\":[],\"lastnames\":[\"Fritz\"],\"suffixes\":[]},{\"firstnames\":[\"Meghyn\"],\"propositions\":[],\"lastnames\":[\"Bienvenu\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"title\":\"Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners\",\"booktitle\":\"Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track\",\"year\":\"2008\",\"address\":\"Chicago, Illinois, USA\",\"month\":\"July 13-17\",\"pages\":\"1509-1512\",\"keywords\":\"planning, LTL, preferences\",\"bibtex\":\"@InProceedings{ bai-fri-bie-mci-aaai08nectar,\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf},\\r\\n  author = \\t {Jorge A. Baier and Christian Fritz and Meghyn Bienvenu and Sheila McIlraith},\\r\\n  title = \\t {Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners},\\r\\n  booktitle =\\t {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track},\\r\\n  year =\\t 2008,\\r\\n  address =\\t {Chicago, Illinois, USA},\\r\\n  month =\\t {July 13-17},\\r\\n  pages =\\t {1509-1512},\\r\\n  keywords = {planning, LTL, preferences}\\r\\n}\\r\\n\\r\\n\\r\\n\",\"author_short\":[\"Baier, J. A.\",\"Fritz, C.\",\"Bienvenu, M.\",\"McIlraith, S.\"],\"key\":\"bai-fri-bie-mci-aaai08nectar\",\"id\":\"bai-fri-bie-mci-aaai08nectar\",\"bibbaseid\":\"baier-fritz-bienvenu-mcilraith-beyondclassicalplanningproceduralcontrolknowledgeandpreferencesinstateoftheartplanners-2008\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf\"},\"keyword\":[\"planning\",\"LTL\",\"preferences\"],\"metadata\":{\"authorlinks\":{\"fritz, c\":\"https://www.cs.toronto.edu/~fritz/\",\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"baier, j\":\"http://www.cs.toronto.edu/~bgmomb/research.html\"}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"url\":\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf\",\"author\":[{\"firstnames\":[\"Jorge\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Baier\"],\"suffixes\":[]},{\"firstnames\":[\"Christian\"],\"propositions\":[],\"lastnames\":[\"Fritz\"],\"suffixes\":[]},{\"firstnames\":[\"Sheila\",\"A.\"],\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"suffixes\":[]}],\"title\":\"Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners\",\"booktitle\":\"Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07)\",\"year\":\"2007\",\"pages\":\"144-151\",\"address\":\"Providence, Rhode Island\",\"month\":\"September 22 - 26\",\"keywords\":\"planning, automata\",\"bibtex\":\"@InProceedings{ bai-fri-mci-icaps07,\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf},\\r\\n  author = \\t {Jorge A. Baier and Christian Fritz and Sheila A. McIlraith},\\r\\n  title = \\t {Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners},\\r\\n  booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07)},\\r\\n  year = \\t 2007,\\r\\n  pages =       {144-151},\\r\\n  address = \\t {Providence, Rhode Island},\\r\\n  month = \\t {September 22 - 26},\\r\\n  keywords = {planning, automata}\\r\\n}\\r\\n\\r\\n\\r\\n\",\"author_short\":[\"Baier, J. A.\",\"Fritz, C.\",\"McIlraith, S. A.\"],\"key\":\"bai-fri-mci-icaps07\",\"id\":\"bai-fri-mci-icaps07\",\"bibbaseid\":\"baier-fritz-mcilraith-exploitingproceduraldomaincontrolknowledgeinstateoftheartplanners-2007\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf\"},\"keyword\":[\"planning\",\"automata\"],\"metadata\":{\"authorlinks\":{\"fritz, c\":\"https://www.cs.toronto.edu/~fritz/\",\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"baier, j\":\"http://www.cs.toronto.edu/~bgmomb/research.html\"}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"url\":\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Baier\"],\"firstnames\":[\"J.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"firstnames\":[\"S.\"],\"suffixes\":[]}],\"title\":\"Planning with First-Order Temporally Extended Goals Using Heuristic Search\",\"booktitle\":\"Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06)\",\"address\":\"Boston, MA\",\"month\":\"July\",\"pages\":\"788-795\",\"year\":\"2006\",\"keywords\":\"LTL, planning\",\"bibtex\":\"@InProceedings{bai-mci-aaai06,\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf},\\r\\n  author = {Baier, J. and McIlraith, S.},\\r\\n  title = {Planning with First-Order Temporally Extended Goals Using Heuristic Search},\\r\\n  booktitle = {Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06)},\\r\\n  address = {Boston, MA},\\r\\n  month   = {July},\\r\\n  pages = {788-795},\\r\\n  year = 2006,\\r\\n  keywords = {LTL, planning}\\r\\n}\\r\\n\\r\\n\",\"author_short\":[\"Baier, J.\",\"McIlraith, S.\"],\"key\":\"bai-mci-aaai06\",\"id\":\"bai-mci-aaai06\",\"bibbaseid\":\"baier-mcilraith-planningwithfirstordertemporallyextendedgoalsusingheuristicsearch-2006\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf\"},\"keyword\":[\"LTL\",\"planning\"],\"metadata\":{\"authorlinks\":{\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"baier, j\":\"http://www.cs.toronto.edu/~bgmomb/research.html\"}},\"downloads\":21,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"url\":\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Baier\"],\"firstnames\":[\"J.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"McIlraith\"],\"firstnames\":[\"S.\"],\"suffixes\":[]}],\"title\":\"Planning with Temporally Extended Goals Using Heuristic Search\",\"booktitle\":\"Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06)\",\"year\":\"2006\",\"address\":\"Lake District, UK\",\"pages\":\"342-345\",\"month\":\"June\",\"keywords\":\"planning, LTL\",\"bibtex\":\"@InProceedings{ bai-mci-icaps06,\\r\\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf},\\r\\n  author = {Baier, J. and McIlraith, S.},\\r\\n  title = {Planning with Temporally Extended Goals Using Heuristic Search},\\r\\n  booktitle = {Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06)},\\r\\n  year = 2006,\\r\\n  address = {Lake District, UK},\\r\\n  pages = {342-345},\\r\\n  month   = {June},\\r\\n  keywords = {planning, LTL}\\r\\n}\\r\\n\\r\\n\\r\\n\",\"author_short\":[\"Baier, J.\",\"McIlraith, S.\"],\"key\":\"bai-mci-icaps06\",\"id\":\"bai-mci-icaps06\",\"bibbaseid\":\"baier-mcilraith-planningwithtemporallyextendedgoalsusingheuristicsearch-2006\",\"role\":\"author\",\"urls\":{\"paper\":\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf\"},\"keyword\":[\"planning\",\"LTL\"],\"metadata\":{\"authorlinks\":{\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\",\"baier, j\":\"http://www.cs.toronto.edu/~bgmomb/research.html\"}},\"downloads\":24,\"html\":\"\"}],\n      metadata: {\"owner\":\"mcilraith, s\",\"authorlinks\":{\"mcilraith, s\":\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\"}},\n      ownerID: \"GvvCbq8Y4n9QqTySC\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"list.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7Y2FtLWJhaS1tdWktbWNpLWljYXBzMTgsDQogIGF1dGhvciAgICA9IHtBbGJlcnRvIENhbWFjaG8gYW5kDQogICAgICAgICAgICAgICBKb3JnZSBBLiBCYWllciBhbmQNCiAgICAgICAgICAgICAgIENocmlzdGlhbiBKLiBNdWlzZSBhbmQNCiAgICAgICAgICAgICAgIFNoZWlsYSBBLiBNY0lscmFpdGh9LA0KICB0aXRsZSAgICAgPSB7RmluaXRlIHtMVEx9IFN5bnRoZXNpcyBhcyBQbGFubmluZ30sDQogIGJvb2t0aXRsZSA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgVHdlbnR5LUVpZ2h0IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbg0KQXV0b21hdGVkIFBsYW5uaW5nIGFuZCBTY2hlZHVsaW5nICh7SUNBUFN9KX0sDQogIHBhZ2VzICAgICA9IHsyOS0zOH0sDQogIHllYXIgICAgICA9IHsyMDE4fSwNCiAgdXJsX3BhcGVyID0NCntodHRwOi8vd3d3LmNzLnRvcm9udG8uZWR1L35hY2FtYWNoby9wYXBlcnMvY2FtLWJhaS1tdWktbWNpLWljYXBzMTgucGRmfSwNCiAga2V5d29yZHMgID0ge0xUTCwgcGxhbm5pbmd9DQp9DQoNCgoKQGlucHJvY2VlZGluZ3N7Y2FtLXRyaS1tdWktYmFpLW1jaS1hYWFpMTcsDQogIGF1dGhvciAgICA9IHtBbGJlcnRvIENhbWFjaG8gYW5kDQogICAgICAgICAgICAgICBFbGVuaSBUcmlhbnRhZmlsbG91IGFuZA0KICAgICAgICAgICAgICAgQ2hyaXN0aWFuIEouIE11aXNlIGFuZA0KICAgICAgICAgICAgICAgSm9yZ2UgQS4gQmFpZXIgYW5kDQogICAgICAgICAgICAgICBTaGVpbGEgQS4gTWNJbHJhaXRofSwNCiAgdGl0bGUgICAgID0ge05vbi1EZXRlcm1pbmlzdGljIFBsYW5uaW5nIHdpdGggVGVtcG9yYWxseSBFeHRlbmRlZCBHb2FsczoNCntMVEx9IG92ZXIgRmluaXRlIGFuZCBJbmZpbml0ZSBUcmFjZXN9LA0KICBib29rdGl0bGUgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIFRoaXJ0eS1GaXJzdCBBQUFJIENvbmZlcmVuY2Ugb24NCkFydGlmaWNpYWwgSW50ZWxsaWdlbmNlICh7QUFBSX0pfSwNCiAgdXJsX3BhcGVyID0NCntodHRwOi8vd3d3LmNzLnRvcm9udG8uZWR1L35zaGVpbGEvcHVibGljYXRpb25zL2NhbS1ldGFsLWFhYWkxNy5wZGZ9LA0KICBrZXl3b3JkcyAgPSB7TFRMLCBwbGFubmluZ30sDQogIHBhZ2VzICAgICA9IHszNzE2LTM3MjR9LA0KICB5ZWFyICAgICAgPSB7MjAxN30NCn0NCg0KCgpAaW5wcm9jZWVkaW5nc3tjYW0tZXRhbC1sdGwta25vd3Byb3MxNiwNCiAgdGl0bGUgPSB7Tm9uLURldGVybWluaXN0aWMgUGxhbm5pbmcgd2l0aCBUZW1wb3JhbGx5IEV4dGVuZGVkIEdvYWxzOiBDb21wbGV0aW5nIHRoZSBzdG9yeSBmb3IgZmluaXRlIGFuZCBpbmZpbml0ZSB7TFRMfSAoQW1lbmRlZCBWZXJzaW9uKX0sDQogIGF1dGhvciA9IHtBbGJlcnRvIENhbWFjaG8gYW5kIEVsZW5pIFRyaWFudGFmaWxsb3UgYW5kIENocmlzdGlhbiBNdWlzZSBhbmQgSm9yZ2UgQmFpZXIgYW5kIFNoZWlsYSBBLiBNY0lscmFpdGh9LA0KICBib29rdGl0bGUgPSB7V29ya3Nob3Agb24ga25vd2xlZGdlLWJhc2VkIHRlY2huaXF1ZXMgZm9yIHByb2JsZW0gc29sdmluZyBhbmQgcmVhc29uaW5nIChLbm93UHJvUycxNikgYXQgSUpDQUl9LA0KICB5ZWFyID0gezIwMTZ9LA0KICB1cmwgPSB7aHR0cHM6Ly93d3cuY3MudG9yb250by5lZHUvfnNoZWlsYS9wdWJsaWNhdGlvbnMvY2FtLWV0YWwtbHRsLWtub3dwcm9zMTYucGRmfSwNCiAgbm90ZSA9IHtBIHZlcnNpb24gb2YgdGhpcyBwYXBlciBhbHNvIGFwcGVhcmVkIGluIHRoZSBXb3Jrc2hvcCBvbiBIZXVyaXN0aWMgU2VhcmNoIGFuZCBEb21haW4gSW5kZXBlbmRlbnQgUGxhbm5pbmcgKHtIU0RJUH0nMTYpIGF0IElDQVBTfSwNCmFic3RyYWN0PXtUZW1wb3JhbGx5IGV4dGVuZGVkIGdvYWxzIGFyZSBjcml0aWNhbCB0byB0aGUgc3BlY2lmaWNhdGlvbiBvZiBhIGRpdmVyc2l0eSBvZiByZWFsLXdvcmxkIHBsYW5uaW5nIHByb2JsZW1zLiBIZXJlIHdlIGV4YW1pbmUgdGhlIHByb2JsZW0gb2YgcGxhbm5pbmcgd2l0aCB0ZW1wb3JhbGx5IGV4dGVuZGVkIGdvYWxzIG92ZXIgYm90aCBmaW5pdGUgYW5kIGluZmluaXRlIHRyYWNlcyB3aGVyZSBhY3Rpb25zIGNhbiBiZSBub24tZGV0ZXJtaW5pc3RpYywgYW5kIHdoZXJlIHRlbXBvcmFsbHkgZXh0ZW5kZWQgZ29hbHMgYXJlIHNwZWNpZmllZCBpbiBsaW5lYXIgdGVtcG9yYWwgbG9naWMgKExUTCkuIFVubGlrZSBleGlzdGluZyBMVEwgcGxhbm5lcnMsIHdlIHBsYWNlIG5vIHJlc3RyaWN0aW9uc29uIG91ciBMVEwgZm9ybXVsYWUgYmV5b25kIHRob3NlIG5lY2Vzc2FyeSB0byBkaXN0aW5ndWlzaCBmaW5pdGUgZnJvbSBpbmZpbml0ZSB0cmFjZSBpbnRlcnByZXRhdGlvbnMuIFdlIHJlYWxpemUgb3VyIHBsYW5uZXIgYnkgY29tcGlsaW5nIHRlbXBvcmFsbHkgZXh0ZW5kZWQgZ29hbHMsIHJlcHJlc2VudGVkIGluIExUTCwgaW50byBQbGFubmluZyBEb21haW4gRGVmaW5pdGlvbiBMYW5ndWFnZSBwcm9ibGVtIGluc3RhbmNlcywgYW5kIGV4cGxvaXRpbmcgYSBzdGF0ZS1vZi10aGUtYXJ0IGZ1bGx5IG9ic2VydmFibGUgbm9uLWRldGVybWluaXN0aWMgcGxhbm5lciB0byBjb21wdXRlIHNvbHV0aW9ucy4gVGhlIHJlc3VsdGluZyBwbGFubmVyIGlzIHNvdW5kIGFuZCBjb21wbGV0ZS4gT3VyIGFwcHJvYWNoIGV4cGxvaXRzIHRoZSBjb3JyZXNwb25kZW5jZSBiZXR3ZWVuIExUTCBhbmQgYXV0b21hdGEuIFdlIHByb3Bvc2Ugc2V2ZXJhbCBkaWZmZXJlbnQgY29tcGlsYXRpb25zIGJhc2VkIG9uIHRyYW5zbGF0aW9ucyBvZiBMVEwgdG8gKEJ1Y2hpKSBhbHRlcm5hdGluZyBvciBub24tZGV0ZXJtaW5pc3RpYyBmaW5pdGUgc3RhdGUgYXV0b21hdGEsIGFuZCBldmFsdWF0ZSB2YXJpb3VzIHByb3BlcnRpZXMgb2YgdGhlIGNvbXBldGluZyBhcHByb2FjaGVzLiBXZSBhZGRyZXNzIGEgZGl2ZXJzZSBzcGVjdHJ1bSBvZiBMVEwgcGxhbm5pbmcgcHJvYmxlbXMgdGhhdCwgdG8gdGhpcyBwb2ludCwgaGFkIG5vdCBiZWVuIHNvbHZhYmxlIHVzaW5nIEFJIHBsYW5uaW5nIHRlY2huaXF1ZXMuIFdlIGRvIHNvIHdoaWxlIGRlbW9uc3RyYXRpbmcgY29tcGV0aXRpdmUgcGVyZm9ybWFuY2UgcmVsYXRpdmUgdG8gdGhlIHN0YXRlIG9mIHRoZSBhcnQgaW4gTFRMIHBsYW5uaW5nLn0sDQogIGtleXdvcmRzID0ge0xUTCwgcGxhbm5pbmd9DQp9DQoNCgoKQGlucHJvY2VlZGluZ3N7dHJpLWV0YWwtbW9jaGFwMTUsDQogIHRpdGxlID0ge0EgVW5pZnlpbmcgRnJhbWV3b3JrIGZvciBQbGFubmluZyB3aXRoIExUTCBhbmQgUmVndWxhciBFeHByZXNzaW9uc30sDQogIGF1dGhvciA9IHtFbGVuaSBUcmlhbnRhZmlsbG91IGFuZCBKb3JnZSBCYWllciBhbmQgU2hlaWxhIE1jSWxyYWl0aH0sDQogIGJvb2t0aXRsZSA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgV29ya3Nob3Agb24gTW9kZWwtQ2hlY2tpbmcgYW5kIEF1dG9tYXRlZCBQbGFubmluZyAoTU9DSEFQKSBhdCBJQ0FQU30sDQogIHBhZ2VzID0gezIzLTMxfSwNCiAgeWVhciA9IHsyMDE1fSwNCiAgdXJsID0ge2h0dHBzOi8vd3d3LmNzLnRvcm9udG8uZWR1L35zaGVpbGEvcHVibGljYXRpb25zL3RyaS1ldGFsLW1vY2hhcDE1LnBkZn0sDQogIGtleXdvcmRzID0ge3BsYW5uaW5nLCBMVEwsIExETH0NCn0NCg0KDQoKCkBhcnRpY2xleyBiaWUtZnJpLW1jaS1haWoxMSwNCiAgdm9sdW1lID0gezE3NX0sDQogIG51bWJlciA9IHs3LTh9LA0KICB0aXRsZSA9IHtTcGVjaWZ5aW5nIGFuZCBDb21wdXRpbmcgUHJlZmVycmVkIFBsYW5zfSwNCiAgdXJsID0ge2h0dHBzOi8vd3d3LmNzLnRvcm9udG8uZWR1L35zaGVpbGEvcHVibGljYXRpb25zL2JpZS1mcmktbWNpLWFpajExLnBkZn0sDQogIGpvdXJuYWwgPSB7QXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2V9LA0KICBrZXl3b3JkcyA9IHtQbGFubmluZyB3aXRoIHByZWZlcmVuY2VzfSwNCiAgcGFnZXMgPSB7MTMwOC0xMzQ1fSwNCiAgYXV0aG9yID0ge01lZ2h5biBCaWVudmVudSBhbmQgQ2hyaXN0aWFuIEZyaXR6IGFuZCBTaGVpbGEgQS4gTWNJbHJhaXRofSwNCiAgeWVhciA9IHsyMDExfSwNCiAga2V5d29yZHMgPSB7cGxhbm5pbmcsIExUTCwgcHJlZmVyZW5jZXN9DQp9DQoNCgoKQGFydGljbGV7IGJhaS1iYWMtbWNpLWFpajA5LA0KICBhdXRob3IgPSB7Sm9yZ2UgQS4gQmFpZXIgYW5kIEZhaGllbSBCYWNjaHVzIGFuZCBTaGVpbGEgQS4gTWNJbHJhaXRofSwNCiAgdXJsID0ge2h0dHBzOi8vd3d3LmNzLnRvcm9udG8uZWR1L35zaGVpbGEvcHVibGljYXRpb25zL2JhaS1iYWMtbWNpLWFpajA5LnBkZn0sDQogIGpvdXJuYWwgPSB7QXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2V9LA0KICB0aXRsZSA9IHtBIEhldXJpc3RpYyBTZWFyY2ggQXBwcm9hY2ggdG8gUGxhbm5pbmcgd2l0aCBUZW1wb3JhbGx5IEV4dGVuZGVkIFByZWZlcmVuY2VzfSwNCiAgbnVtYmVyID0gezUtNn0sDQogIHZvbHVtZSA9IHsxNzN9LA0KICB5ZWFyID0gezIwMDl9LA0KICBwYWdlcyA9IHs1OTMtNjE4fSwNCiAga2V5d29yZHMgPSB7TFRMLCBwbGFubmluZywgcHJlZmVyZW5jZXN9DQp9DQoNCgoKQEluUHJvY2VlZGluZ3N7IGJhaS1mcmktYmllLW1jaS1hYWFpMDhuZWN0YXIsDQogIHVybCA9IHtodHRwczovL3d3dy5jcy50b3JvbnRvLmVkdS9+c2hlaWxhL3B1YmxpY2F0aW9ucy9iYWktZnJpLWJpZS1tY2ktYWFhaTA4bmVjdGFyLnBkZn0sDQogIGF1dGhvciA9IAkge0pvcmdlIEEuIEJhaWVyIGFuZCBDaHJpc3RpYW4gRnJpdHogYW5kIE1lZ2h5biBCaWVudmVudSBhbmQgU2hlaWxhIE1jSWxyYWl0aH0sDQogIHRpdGxlID0gCSB7QmV5b25kIENsYXNzaWNhbCBQbGFubmluZzogUHJvY2VkdXJhbCBDb250cm9sIEtub3dsZWRnZSBhbmQgUHJlZmVyZW5jZXMgaW4gU3RhdGUtb2YtdGhlLUFydCBQbGFubmVyc30sDQogIGJvb2t0aXRsZSA9CSB7UHJvY2VlZGluZ3Mgb2YgdGhlIDIzcmQgQUFBSSBDb25mZXJlbmNlIG9uIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIChBQUFJKSwgTmVjdGFyIFRyYWNrfSwNCiAgeWVhciA9CSAyMDA4LA0KICBhZGRyZXNzID0JIHtDaGljYWdvLCBJbGxpbm9pcywgVVNBfSwNCiAgbW9udGggPQkge0p1bHkgMTMtMTd9LA0KICBwYWdlcyA9CSB7MTUwOS0xNTEyfSwNCiAga2V5d29yZHMgPSB7cGxhbm5pbmcsIExUTCwgcHJlZmVyZW5jZXN9DQp9DQoNCg0KCgpASW5Qcm9jZWVkaW5nc3sgYmFpLWZyaS1tY2ktaWNhcHMwNywNCiAgdXJsID0ge2h0dHBzOi8vd3d3LmNzLnRvcm9udG8uZWR1L35zaGVpbGEvcHVibGljYXRpb25zL2JhaS1mcmktbWNpLWljYXBzMDcucGRmfSwNCiAgYXV0aG9yID0gCSB7Sm9yZ2UgQS4gQmFpZXIgYW5kIENocmlzdGlhbiBGcml0eiBhbmQgU2hlaWxhIEEuIE1jSWxyYWl0aH0sDQogIHRpdGxlID0gCSB7RXhwbG9pdGluZyBQcm9jZWR1cmFsIERvbWFpbiBDb250cm9sIEtub3dsZWRnZSBpbiBTdGF0ZS1vZi10aGUtQXJ0IFBsYW5uZXJzfSwNCiAgYm9va3RpdGxlID0ge1Byb2NlZWRpbmdzIG9mIHRoZSBTZXZlbnRlZW50aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQXV0b21hdGVkIFBsYW5uaW5nIGFuZCBTY2hlZHVsaW5nIChJQ0FQUy0wNyl9LA0KICB5ZWFyID0gCSAyMDA3LA0KICBwYWdlcyA9ICAgICAgIHsxNDQtMTUxfSwNCiAgYWRkcmVzcyA9IAkge1Byb3ZpZGVuY2UsIFJob2RlIElzbGFuZH0sDQogIG1vbnRoID0gCSB7U2VwdGVtYmVyIDIyIC0gMjZ9LA0KICBrZXl3b3JkcyA9IHtwbGFubmluZywgYXV0b21hdGF9DQp9DQoNCg0KCgpASW5Qcm9jZWVkaW5nc3tiYWktbWNpLWFhYWkwNiwNCiAgdXJsID0ge2h0dHBzOi8vd3d3LmNzLnRvcm9udG8uZWR1L35zaGVpbGEvcHVibGljYXRpb25zL2JhaS1tY2ktYWFhaTA2LnBkZn0sDQogIGF1dGhvciA9IHtCYWllciwgSi4gYW5kIE1jSWxyYWl0aCwgUy59LA0KICB0aXRsZSA9IHtQbGFubmluZyB3aXRoIEZpcnN0LU9yZGVyIFRlbXBvcmFsbHkgRXh0ZW5kZWQgR29hbHMgVXNpbmcgSGV1cmlzdGljIFNlYXJjaH0sDQogIGJvb2t0aXRsZSA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgMjFzdCBOYXRpb25hbCBDb25mZXJlbmNlIG9uIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIChBQUFJMDYpfSwNCiAgYWRkcmVzcyA9IHtCb3N0b24sIE1BfSwNCiAgbW9udGggICA9IHtKdWx5fSwNCiAgcGFnZXMgPSB7Nzg4LTc5NX0sDQogIHllYXIgPSAyMDA2LA0KICBrZXl3b3JkcyA9IHtMVEwsIHBsYW5uaW5nfQ0KfQ0KDQoKCkBJblByb2NlZWRpbmdzeyBiYWktbWNpLWljYXBzMDYsDQogIHVybCA9IHtodHRwczovL3d3dy5jcy50b3JvbnRvLmVkdS9+c2hlaWxhL3B1YmxpY2F0aW9ucy9iYWktbWNpLWljYXBzMDYucGRmfSwNCiAgYXV0aG9yID0ge0JhaWVyLCBKLiBhbmQgTWNJbHJhaXRoLCBTLn0sDQogIHRpdGxlID0ge1BsYW5uaW5nIHdpdGggVGVtcG9yYWxseSBFeHRlbmRlZCBHb2FscyBVc2luZyBIZXVyaXN0aWMgU2VhcmNofSwNCiAgYm9va3RpdGxlID0ge1Byb2NlZWRpbmdzIG9mIHRoZSAxNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBdXRvbWF0ZWQgUGxhbm5pbmcgYW5kIFNjaGVkdWxpbmcgKElDQVBTMDYpfSwNCiAgeWVhciA9IDIwMDYsDQogIGFkZHJlc3MgPSB7TGFrZSBEaXN0cmljdCwgVUt9LA0KICBwYWdlcyA9IHszNDItMzQ1fSwNCiAgbW9udGggICA9IHtKdW5lfSwNCiAga2V5d29yZHMgPSB7cGxhbm5pbmcsIExUTH0NCn0NCg0KDQo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://www.cs.toronto.edu/~toryn/test/publications/list.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://www.cs.toronto.edu/~toryn/test/publications/list.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https://www.cs.toronto.edu/~toryn/test/publications/list.bib&amp;jsonp=1&amp;filter=keywords:\\b(LTL|automata)\\b,keywords:\\bplanning\\b&amp;theme=default&amp;urlLabel=paper&amp;groupby=&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://www.cs.toronto.edu/~toryn/test/publications/list.bib&amp;jsonp=1&amp;filter=keywords:\\b(LTL|automata)\\b,keywords:\\bplanning\\b&amp;theme=default&amp;urlLabel=paper&amp;groupby=\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https://www.cs.toronto.edu/~toryn/test/publications/list.bib&amp;jsonp=1&amp;filter=keywords:\\b(LTL|automata)\\b,keywords:\\bplanning\\b&amp;theme=default&amp;urlLabel=paper&amp;groupby=\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_paper\" id=\"camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018', 'http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf', event);\">\n    Finite LTL Synthesis as Planning.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.albertocamacho.com/\">Camacho, A.</a>; Baier, J. A.; <a class=\"bibbase author link\" href=\"https://www.haz.ca/academic-publications.html\">Muise, C. J.</a>;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S. A.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the Twenty-Eight International Conference on Automated Planning and Scheduling (ICAPS)</i>, pages 29-38,  2018. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf\"\n     onclick=\"log_download('camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018', 'http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Finite LTL Synthesis as Planning [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>29 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cam-bai-mui-mci-icaps18,\r\n  author    = {Alberto Camacho and\r\n               Jorge A. Baier and\r\n               Christian J. Muise and\r\n               Sheila A. McIlraith},\r\n  title     = {Finite {LTL} Synthesis as Planning},\r\n  booktitle = {Proceedings of the Twenty-Eight International Conference on\r\nAutomated Planning and Scheduling ({ICAPS})},\r\n  pages     = {29-38},\r\n  year      = {2018},\r\n  url_paper =\r\n{http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf},\r\n  keywords  = {LTL, planning}\r\n}\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017', 'http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf', event);\">\n    Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.albertocamacho.com/\">Camacho, A.</a>; Triantafillou, E.; <a class=\"bibbase author link\" href=\"https://www.haz.ca/academic-publications.html\">Muise, C. J.</a>; Baier, J. A.;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S. A.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI)</i>, pages 3716-3724,  2017. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf\"\n     onclick=\"log_download('camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017', 'http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>31 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cam-tri-mui-bai-mci-aaai17,\r\n  author    = {Alberto Camacho and\r\n               Eleni Triantafillou and\r\n               Christian J. Muise and\r\n               Jorge A. Baier and\r\n               Sheila A. McIlraith},\r\n  title     = {Non-Deterministic Planning with Temporally Extended Goals:\r\n{LTL} over Finite and Infinite Traces},\r\n  booktitle = {Proceedings of the Thirty-First AAAI Conference on\r\nArtificial Intelligence ({AAAI})},\r\n  url_paper =\r\n{http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf},\r\n  keywords  = {LTL, planning},\r\n  pages     = {3716-3724},\r\n  year      = {2017}\r\n}\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016', 'https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf', event);\">\n    Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL (Amended Version).\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.albertocamacho.com/\">Camacho, A.</a>; Triantafillou, E.; <a class=\"bibbase author link\" href=\"https://www.haz.ca/academic-publications.html\">Muise, C.</a>; Baier, J.;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S. A.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Workshop on knowledge-based techniques for problem solving and reasoning (KnowProS'16) at IJCAI</i>,  2016. \n  <span class=\"note\">A version of this paper also appeared in the Workshop on Heuristic Search and Domain Independent Planning (HSDIP'16) at ICAPS</span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf\"\n     onclick=\"log_download('camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016', 'https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL (Amended Version) [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>8 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cam-etal-ltl-knowpros16,\r\n  title = {Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite {LTL} (Amended Version)},\r\n  author = {Alberto Camacho and Eleni Triantafillou and Christian Muise and Jorge Baier and Sheila A. McIlraith},\r\n  booktitle = {Workshop on knowledge-based techniques for problem solving and reasoning (KnowProS&#x27;16) at IJCAI},\r\n  year = {2016},\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/cam-etal-ltl-knowpros16.pdf},\r\n  note = {A version of this paper also appeared in the Workshop on Heuristic Search and Domain Independent Planning ({HSDIP}&#x27;16) at ICAPS},\r\nabstract={Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of planning with temporally extended goals over both finite and infinite traces where actions can be non-deterministic, and where temporally extended goals are specified in linear temporal logic (LTL). Unlike existing LTL planners, we place no restrictionson our LTL formulae beyond those necessary to distinguish finite from infinite trace interpretations. We realize our planner by compiling temporally extended goals, represented in LTL, into Planning Domain Definition Language problem instances, and exploiting a state-of-the-art fully observable non-deterministic planner to compute solutions. The resulting planner is sound and complete. Our approach exploits the correspondence between LTL and automata. We propose several different compilations based on translations of LTL to (Buchi) alternating or non-deterministic finite state automata, and evaluate various properties of the competing approaches. We address a diverse spectrum of LTL planning problems that, to this point, had not been solvable using AI planning techniques. We do so while demonstrating competitive performance relative to the state of the art in LTL planning.},\r\n  keywords = {LTL, planning}\r\n}\r\n\r\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of planning with temporally extended goals over both finite and infinite traces where actions can be non-deterministic, and where temporally extended goals are specified in linear temporal logic (LTL). Unlike existing LTL planners, we place no restrictionson our LTL formulae beyond those necessary to distinguish finite from infinite trace interpretations. We realize our planner by compiling temporally extended goals, represented in LTL, into Planning Domain Definition Language problem instances, and exploiting a state-of-the-art fully observable non-deterministic planner to compute solutions. The resulting planner is sound and complete. Our approach exploits the correspondence between LTL and automata. We propose several different compilations based on translations of LTL to (Buchi) alternating or non-deterministic finite state automata, and evaluate various properties of the competing approaches. We address a diverse spectrum of LTL planning problems that, to this point, had not been solvable using AI planning techniques. We do so while demonstrating competitive performance relative to the state of the art in LTL planning.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"triantafillou-baier-mcilraith-aunifyingframeworkforplanningwithltlandregularexpressions-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'triantafillou-baier-mcilraith-aunifyingframeworkforplanningwithltlandregularexpressions-2015', 'https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf', event);\">\n    A Unifying Framework for Planning with LTL and Regular Expressions.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Triantafillou, E.; Baier, J.;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the Workshop on Model-Checking and Automated Planning (MOCHAP) at ICAPS</i>, pages 23-31,  2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf\"\n     onclick=\"log_download('triantafillou-baier-mcilraith-aunifyingframeworkforplanningwithltlandregularexpressions-2015', 'https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"A Unifying Framework for Planning with LTL and Regular Expressions [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/triantafillou-baier-mcilraith-aunifyingframeworkforplanningwithltlandregularexpressions-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>3 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('triantafillou-baier-mcilraith-aunifyingframeworkforplanningwithltlandregularexpressions-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{tri-etal-mochap15,\r\n  title = {A Unifying Framework for Planning with LTL and Regular Expressions},\r\n  author = {Eleni Triantafillou and Jorge Baier and Sheila McIlraith},\r\n  booktitle = {Proceedings of the Workshop on Model-Checking and Automated Planning (MOCHAP) at ICAPS},\r\n  pages = {23-31},\r\n  year = {2015},\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/tri-etal-mochap15.pdf},\r\n  keywords = {planning, LTL, LDL}\r\n}\r\n\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bienvenu-fritz-mcilraith-specifyingandcomputingpreferredplans-2011\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bienvenu-fritz-mcilraith-specifyingandcomputingpreferredplans-2011', 'https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf', event);\">\n    Specifying and Computing Preferred Plans.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Bienvenu, M.; <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~fritz/\">Fritz, C.</a>;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S. A.</a>\n</span>\n\n  \n\n</span>\n\n  <i>Artificial Intelligence</i>, 175(7-8): 1308-1345.  2011.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf\"\n     onclick=\"log_download('bienvenu-fritz-mcilraith-specifyingandcomputingpreferredplans-2011', 'https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Specifying and Computing Preferred Plans [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bienvenu-fritz-mcilraith-specifyingandcomputingpreferredplans-2011\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>8 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bienvenu-fritz-mcilraith-specifyingandcomputingpreferredplans-2011')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{ bie-fri-mci-aij11,\r\n  volume = {175},\r\n  number = {7-8},\r\n  title = {Specifying and Computing Preferred Plans},\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/bie-fri-mci-aij11.pdf},\r\n  journal = {Artificial Intelligence},\r\n  keywords = {Planning with preferences},\r\n  pages = {1308-1345},\r\n  author = {Meghyn Bienvenu and Christian Fritz and Sheila A. McIlraith},\r\n  year = {2011},\r\n  keywords = {planning, LTL, preferences}\r\n}\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"baier-bacchus-mcilraith-aheuristicsearchapproachtoplanningwithtemporallyextendedpreferences-2009\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'baier-bacchus-mcilraith-aheuristicsearchapproachtoplanningwithtemporallyextendedpreferences-2009', 'https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf', event);\">\n    A Heuristic Search Approach to Planning with Temporally Extended Preferences.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.toronto.edu/~bgmomb/research.html\">Baier, J. A.</a>; <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~fbacchus/research.shtml\">Bacchus, F.</a>;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S. A.</a>\n</span>\n\n  \n\n</span>\n\n  <i>Artificial Intelligence</i>, 173(5-6): 593-618.  2009.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf\"\n     onclick=\"log_download('baier-bacchus-mcilraith-aheuristicsearchapproachtoplanningwithtemporallyextendedpreferences-2009', 'https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"A Heuristic Search Approach to Planning with Temporally Extended Preferences [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/baier-bacchus-mcilraith-aheuristicsearchapproachtoplanningwithtemporallyextendedpreferences-2009\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>24 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('baier-bacchus-mcilraith-aheuristicsearchapproachtoplanningwithtemporallyextendedpreferences-2009')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{ bai-bac-mci-aij09,\r\n  author = {Jorge A. Baier and Fahiem Bacchus and Sheila A. McIlraith},\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-bac-mci-aij09.pdf},\r\n  journal = {Artificial Intelligence},\r\n  title = {A Heuristic Search Approach to Planning with Temporally Extended Preferences},\r\n  number = {5-6},\r\n  volume = {173},\r\n  year = {2009},\r\n  pages = {593-618},\r\n  keywords = {LTL, planning, preferences}\r\n}\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"baier-fritz-bienvenu-mcilraith-beyondclassicalplanningproceduralcontrolknowledgeandpreferencesinstateoftheartplanners-2008\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'baier-fritz-bienvenu-mcilraith-beyondclassicalplanningproceduralcontrolknowledgeandpreferencesinstateoftheartplanners-2008', 'https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf', event);\">\n    Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.toronto.edu/~bgmomb/research.html\">Baier, J. A.</a>; <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~fritz/\">Fritz, C.</a>; Bienvenu, M.;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track</i>, pages 1509-1512, Chicago, Illinois, USA, July 13-17 2008. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf\"\n     onclick=\"log_download('baier-fritz-bienvenu-mcilraith-beyondclassicalplanningproceduralcontrolknowledgeandpreferencesinstateoftheartplanners-2008', 'https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/baier-fritz-bienvenu-mcilraith-beyondclassicalplanningproceduralcontrolknowledgeandpreferencesinstateoftheartplanners-2008\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('baier-fritz-bienvenu-mcilraith-beyondclassicalplanningproceduralcontrolknowledgeandpreferencesinstateoftheartplanners-2008')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@InProceedings{ bai-fri-bie-mci-aaai08nectar,\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-fri-bie-mci-aaai08nectar.pdf},\r\n  author = \t {Jorge A. Baier and Christian Fritz and Meghyn Bienvenu and Sheila McIlraith},\r\n  title = \t {Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners},\r\n  booktitle =\t {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track},\r\n  year =\t 2008,\r\n  address =\t {Chicago, Illinois, USA},\r\n  month =\t {July 13-17},\r\n  pages =\t {1509-1512},\r\n  keywords = {planning, LTL, preferences}\r\n}\r\n\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"baier-fritz-mcilraith-exploitingproceduraldomaincontrolknowledgeinstateoftheartplanners-2007\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'baier-fritz-mcilraith-exploitingproceduraldomaincontrolknowledgeinstateoftheartplanners-2007', 'https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf', event);\">\n    Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.toronto.edu/~bgmomb/research.html\">Baier, J. A.</a>; <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~fritz/\">Fritz, C.</a>;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S. A.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07)</i>, pages 144-151, Providence, Rhode Island, September 22 - 26 2007. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf\"\n     onclick=\"log_download('baier-fritz-mcilraith-exploitingproceduraldomaincontrolknowledgeinstateoftheartplanners-2007', 'https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/baier-fritz-mcilraith-exploitingproceduraldomaincontrolknowledgeinstateoftheartplanners-2007\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('baier-fritz-mcilraith-exploitingproceduraldomaincontrolknowledgeinstateoftheartplanners-2007')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@InProceedings{ bai-fri-mci-icaps07,\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-fri-mci-icaps07.pdf},\r\n  author = \t {Jorge A. Baier and Christian Fritz and Sheila A. McIlraith},\r\n  title = \t {Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners},\r\n  booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07)},\r\n  year = \t 2007,\r\n  pages =       {144-151},\r\n  address = \t {Providence, Rhode Island},\r\n  month = \t {September 22 - 26},\r\n  keywords = {planning, automata}\r\n}\r\n\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"baier-mcilraith-planningwithfirstordertemporallyextendedgoalsusingheuristicsearch-2006\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'baier-mcilraith-planningwithfirstordertemporallyextendedgoalsusingheuristicsearch-2006', 'https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf', event);\">\n    Planning with First-Order Temporally Extended Goals Using Heuristic Search.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.toronto.edu/~bgmomb/research.html\">Baier, J.</a>;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06)</i>, pages 788-795, Boston, MA, July 2006. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf\"\n     onclick=\"log_download('baier-mcilraith-planningwithfirstordertemporallyextendedgoalsusingheuristicsearch-2006', 'https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Planning with First-Order Temporally Extended Goals Using Heuristic Search [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/baier-mcilraith-planningwithfirstordertemporallyextendedgoalsusingheuristicsearch-2006\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>21 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('baier-mcilraith-planningwithfirstordertemporallyextendedgoalsusingheuristicsearch-2006')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@InProceedings{bai-mci-aaai06,\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-mci-aaai06.pdf},\r\n  author = {Baier, J. and McIlraith, S.},\r\n  title = {Planning with First-Order Temporally Extended Goals Using Heuristic Search},\r\n  booktitle = {Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06)},\r\n  address = {Boston, MA},\r\n  month   = {July},\r\n  pages = {788-795},\r\n  year = 2006,\r\n  keywords = {LTL, planning}\r\n}\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"baier-mcilraith-planningwithtemporallyextendedgoalsusingheuristicsearch-2006\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'baier-mcilraith-planningwithtemporallyextendedgoalsusingheuristicsearch-2006', 'https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf', event);\">\n    Planning with Temporally Extended Goals Using Heuristic Search.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.toronto.edu/~bgmomb/research.html\">Baier, J.</a>;  and <a class=\"bibbase author link\" href=\"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html\">McIlraith, S.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06)</i>, pages 342-345, Lake District, UK, June 2006. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf\"\n     onclick=\"log_download('baier-mcilraith-planningwithtemporallyextendedgoalsusingheuristicsearch-2006', 'https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Planning with Temporally Extended Goals Using Heuristic Search [pdf]\"\n       title=\"paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/baier-mcilraith-planningwithtemporallyextendedgoalsusingheuristicsearch-2006\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>24 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('baier-mcilraith-planningwithtemporallyextendedgoalsusingheuristicsearch-2006')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@InProceedings{ bai-mci-icaps06,\r\n  url = {https://www.cs.toronto.edu/~sheila/publications/bai-mci-icaps06.pdf},\r\n  author = {Baier, J. and McIlraith, S.},\r\n  title = {Planning with Temporally Extended Goals Using Heuristic Search},\r\n  booktitle = {Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06)},\r\n  year = 2006,\r\n  address = {Lake District, UK},\r\n  pages = {342-345},\r\n  month   = {June},\r\n  keywords = {planning, LTL}\r\n}\r\n\r\n\r\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);